A Logic of Type Relations and its Applications to Relational Databases
نویسندگان
چکیده
A calculus of typed relations subsuming the classical relational database theory is presented. An associated sound and complete deduction mechanism is developed. The formulation is generalized to deal with nondeterministic databases and information relations in the rough set-style. keywords: relational logic, typed relations, relational database, nondeterministic databases, information relations, automated theorem proving, rough set theory
منابع مشابه
Relational Databases Query Optimization using Hybrid Evolutionary Algorithm
Optimizing the database queries is one of hard research problems. Exhaustive search techniques like dynamic programming is suitable for queries with a few relations, but by increasing the number of relations in query, much use of memory and processing is needed, and the use of these methods is not suitable, so we have to use random and evolutionary methods. The use of evolutionary methods, beca...
متن کاملFuzzy Join Dependency in Fuzzy Relational Databases
The join dependency provides the basis for obtaining lossless join decomposition in a classical relational schema. The existence of Join dependency shows that that the tables always represent the correct data after being joined. Since the classical relational databases cannot handle imprecise data, they were extended to fuzzy relational databases so that uncertain, ambiguous, imprecise and part...
متن کاملInteroperability of Heterogeneous Temporal Relational Databases
Interoperability is concerned with the interaction of database systems of different kinds. In this paper we consider semantic interoperability between relational databases of different temporal types. Temporal applications must be allowed to share and exchange information which are stored in databases without time support (snapshot), in databases supporting transaction or valid time (monotempor...
متن کاملData Model of FRDB with Different Data Types and PFSQL
One of the disadvantages of the relational model is its disability to model uncertain and incomplete data. The idea to use fuzzy sets and fuzzy logic to extend existing database models to include these possibilities has been utilized since the 1980s. Although this area has been researched for a long time, concrete implementations are rare. Literature contains references to several models of fuz...
متن کاملIntegration of Proximity Relations under Consistency Const..
Though the data integration problem of relational databases has been well studied, little work addresses the problem in the context of fuzzy relational databases. The fuzzy relational model relies on the specification of either a similarity relation or a proximity relation for each scalar domain in the fuzzy database. Without the constraint of max-min transitivity, proximity relations can be de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 16 شماره
صفحات -
تاریخ انتشار 2006